21. Meaning and Necessity

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Semantics (Philosophy),Logic, Symbolic and mathematical,معنی شناسی (فلسفه),منطق ریاضی

رده :
B840
.
C3
1956

22. Meaning and necessity; a study in semantics and modal logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical

رده :
B
840
.
C3
1956

23. Meaning and necessity :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Semantics (Philosophy),Logic, Symbolic and mathematical.,Semantics (Philosophy)

رده :
B840
.
C3
1988

24. Meaning and necessity; a study in semantics and modal logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical

رده :
B
840
.
C27M4
1956

25. Meaning and necessity;a study in semantics and modal logic

پدیدآورنده :

کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)

موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical.

رده :
B
840
.
C3
1958

26. Objects and modalities : a study in the semantics of modal logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Logic, Symbolic and mathematical

رده :
BC
199
.
M6T85

27. Ontology and the Iogisfc analysis of language; an enquiry into the contemporary views on Universals. Rev ed

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)

موضوع : ، Semantics )Philosophy(,، Analysis )Philosophy(,، Logic, Symbolic and mathematical

رده :
B
840
.
K813

28. Ontology and the logistic analysis of language. An enquiry into the contemporary views on universals

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)

موضوع : ، Semantics )Philosophy(,، Analysis )Philosophy(,، Logic, Symbolic and mathematical

رده :
B
840
.
K813

29. Philosophische Bemerkungen. Aus dem

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)

موضوع : Semantics (Philosophy),Logic, Symbolic and mathematical,Mathematical -- Philosophy.

رده :
B
3376
.
W5
1970

30. Remarques philosophiques, Edition posthume Due Aux soins de Rush Rhees Traduit de L'Allemand

پدیدآورنده :

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Semantics (philosophy),Logic, Symbolic and mathematical,Mathematics - Philosophy

رده :
149
.
94
Wi-R

31. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem

رده :
QA
9
.
65
.
M68

32. Sentences undecidable in formalized arithmetic; an exposition of the theory of Kurt Godel

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Semantics )Philosophy(,، Godel's theorem

رده :
BC
135
.
M6

33. Sentences undecidable in formalized arithmetic: an exposition of the theory of Kurt Godel

کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (طهران)

موضوع : Logic, Symbolic and mathematical,Semantics (Philosophy),Godel, Kurt

رده :
BC
135
.
M6

34. The Big Typescript, TS. 213 /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy,Semantics (Philosophy)

رده :
B3376
.
W563
B4713
2005

35. The logic of partial information

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical

رده :
QA
76
.
7
.
N35
1995

36. The logic of partial information

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical

رده :
QA
76
.
7
.
N3

37. The semantic foundations of logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Logic,، Logic, Symbolic and mathematical,، Semantics

رده :
BC
71
.
E57
1995

38. The semantic foundations of logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic,، Logic, Symbolic and mathematical,، Semantics

رده :
BC
71
.
E56

39. The semantic foundations of logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Logic , Logic, Symbolic and mathematical, Semantics

رده :
BC
71
.
E57
1994

40. The semantic foundations of logic

پدیدآورنده :

کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)

موضوع : Logic,Logic,symbolic and mathematical,Semantics

رده :
160
E64s